Infinite trees and completely iterative theories: a coalgebraic view
نویسندگان
چکیده
In#nite trees form a free completely iterative theory over any given signature—this fact, proved by Elgot, Bloom and Tindell, turns out to be a special case of a much more general categorical result exhibited in the present paper. We prove that whenever an endofunctor H of a category has #nal coalgebras for all functors H ( ) + X , then those coalgebras, TX , form a monad. This monad is completely iterative, i.e., every guarded system of recursive equations has a unique solution. And it is a free completely iterative monad on H . The special case of polynomial endofunctors of the category Set is the above mentioned theory, or monad, of in#nite trees. This procedure can be generalized to monoidal categories satisfying a mild side condition: if, for an object H , the endofunctor H ⊗ + I has a #nal coalgebra, T , then T is a monoid. This specializes to the above case for the monoidal category of all endofunctors. c © 2002 Elsevier Science B.V. All rights reserved.
منابع مشابه
Free Iterative Theories: A Coalgebraic View
Iterative algebraic theories were introduced by Calvin C. Elgot in Elgot (1975) as a concept serving the study of computation (on, say, Turing machines) at a level abstracting from the nature of external memory. The main example presented by Elgot is the theory of rational trees, that is, infinite trees that are solutions of systems of finitary iterative equations. Or, equivalently, that posses...
متن کاملFrom Iterative Algebras to Iterative Theories
Iterative theories introduced by Calvin Elgot formalize potentially infinite computations as solutions of recursive equations. One of the main results of Elgot and his coauthors is a description of a free iterative theory as the theory of all rational trees. Their algebraic proof of this fact is extremely complicated. In our paper we show that by starting with “iterative algebras”, i. e., algeb...
متن کاملOn Rational Monads and Free Iterative Theories
For every finitary endofunctor H of Set a rational algebraic theory (or a rational finitary monad) R is defined by means of solving all finitary flat systems of recursive equations over H. This generalizes the result of Elgot and his coauthors, describing a free iterative theory of a polynomial endofunctor H as the theory R of all rational infinite trees. We present a coalgebraic proof that R i...
متن کاملCompletely iterative algebras and completely iterative monads
Completely iterative theories of Calvin Elgot formalize (potentially infinite) computations as solutions of recursive equations. One of the main results of Elgot and his coauthors is that infinite trees form a free completely iterative theory. Their algebraic proof of this result is extremely complicated. We present completely iterative algebras as a new approach to the description of free comp...
متن کاملFrom Iterative Algebras to Iterative Theories (Extended Abstract)
Iterative theories introduced by Calvin Elgot formalize potentially infinite computations as solutions of recursive equations. One of the main results of Elgot and his coauthors is a description of a free iterative theory as the theory of all rational trees. Their algebraic proof of this fact is extremely complicated. In our paper we show that by starting with “iterative algebras”, i. e., algeb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 300 شماره
صفحات -
تاریخ انتشار 2003